Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 94.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000316 | Serdar Erbatur [Allemagne] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Unification and Matching in Hierarchical Combinations of Syntactic Theories |
| 000318 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Rewriting Approach to the Combination of Data Structures with Bridging Theories |
| 000425 | Paula Chocron [France] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited |
| 000622 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A rule-based system for automatic decidability and combinability |
| 000A31 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
| 000A32 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
| 000C18 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | On Asymmetric Unification and the Combination Problem in Disjoint Theories |
| 000C35 | Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France] | A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version) |
| 000C88 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Catherine Meadows [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Asymmetric Unification and the Combination Problem in Disjoint Theories |
| 001040 | Pascal Fontaine [France] ; Christophe Ringeissen [France] ; Renate Schmidt [Royaume-Uni] | Frontiers of Combining Systems |
| 001141 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination of Unification Algorithms |
| 001153 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability: A Schematic Calculus for Theories with Counting Operators |
| 001171 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories with Counting Operators |
| 001578 | Serdar Erbatur [Italie] ; Deepak Kapur [États-Unis] ; Andrew M. Marshall [États-Unis] ; Paliath Narendran [États-Unis] ; Christophe Ringeissen [France] | Hierarchical Combination |
| 001873 | Elena Tushkanova [France] ; Christophe Ringeissen [France] ; Alain Giorgetti [France] ; Olga Kouchnarenko [France] | Automatic Decidability for Theories Modulo Integer Offsets |
| 001C02 | Elena Tushkanova [France] ; Alain Giorgetti [France] ; Christophe Ringeissen [France] ; Olga Kouchnarenko [France] | A Rule-Based Framework for Building Superposition-Based Decision Procedures |
| 002662 | Christophe Ringeissen [France] ; Valerio Senni [France] | Modular Termination and Combinability for Superposition Modulo Counter Arithmetic |
| 002815 | Christopher Lynch [États-Unis] ; Silvio Ranise [Italie] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [Namibie] | Automatic decidability and combinability |
| 002A32 | Eric Monfroy [Chili] ; Olivier Perrin [France] ; Christophe Ringeissen [France] ; Laurent Vigneron [France] | A Constraint-based Approach to Web Services Provisioning |
| 002E32 | Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 002F08 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combining Satisfiability Procedures for Unions of Theories with a Shared Counting Operator |
| 003317 | Christophe Ringeissen [France] | Equational reasoning and combination methods: from programs to proofs |
| 003684 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 003900 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 003971 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Data Structures with Arithmetic Constraints: A Non-disjoint Combination |
| 003984 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France] | Combinable Extensions of Abelian Groups |
| 003C83 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Data Structures with Arithmetic Constraints: a Non-Disjoint Combination |
| 003C88 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Combinable Extensions of Abelian Groups |
| 003D74 | Eric Monfroy ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Dynamic Web Services Provisioning with Constraints |
| 003E88 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Mediator Based Approach For Services Composition |
| 004145 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
| 004399 | Eric Monfroy [Chili, France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Dynamic Web Services Provisioning with Constraints |
| 004526 | Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michael Rusinowitch [France] | Satisfiability Procedures for Combination of Theories Sharing Integer Offsets |
| 004598 | Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
| 004624 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | Timed Specification For Web Services Compatibility Analysis |
| 004F01 | Nawal Guermouche [France] ; Olivier Perrin [France] ; Christophe Ringeissen [France] | A Methodology For Web Services Composition |
| 004F53 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
| 005034 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Producing Conflict Sets for Combination of Theories |
| 005194 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Building and Combining Satisfiability Procedures for Software Verification |
| 005507 | David Déharbe [Brésil] ; Pascal Fontaine [France] ; Silvio Ranise [France, Italie] ; Christophe Ringeissen [France] | Decision Procedures for the Formal Analysis of Software |
| 005888 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | On Superposition-Based Satisfiability Procedures and their Combination |
| 005921 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
| 005927 | Najet Boughanmi [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] | On Structural Information and the Experimental Evaluation of SMT Tools |
| 006225 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
| 006544 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Calogero Zarba | Combining Data Structures with Nonstably Infinite Theories using Many-Sorted Logic |
| 006655 | Carlos Castro ; Eric Monfroy ; Christophe Ringeissen [France] | A Rule Language for Interaction |
| 006C53 | Carlos Castro [Chili] ; Eric Monfroy [France] ; Christophe Ringeissen [France] | A Rule Language for Interaction |
| 006F48 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
| 006F57 | Anamaria Martins Moreira ; Christophe Ringeissen [France] ; David Déharbe ; Gleydson Lima | Manipulating Algebraic Specifications with Term-based and Graph-based Representations |
| 007184 | Anamaria Martins Moreira ; Christophe Ringeissen [France] ; Anderson Santana De Oliveira | A Tool Support for Reusing ELAN Rule-Based Components |
| 007197 | Christophe Ringeissen [France] | Matching in a Class of Combined Non-Disjoint Theories |
| 007464 | Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] ; Anderson Santana [Brésil] | A Tool Support for Reusing ELAN Rule-Based Components |
| 007A33 | Christophe Ringeissen [France] | Matching in a Class of Combined Non-disjoint Theories |
| 007B16 | Moreau Pierre-Etienne [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie] | A Pattern Matching Compiler for Multiple Target Languages |
| 007B39 | Cesare Tinelli [États-Unis] ; Christophe Ringeissen [France] | Unions of non-disjoint theories and combinations of satisfiability procedures |
| 007E19 | Anamaria Martins ; Christophe Ringeissen [France] | Generalizing CASL Specification Components and Preserving Rewrite Proofs |
| 007E94 | Carlos Castro ; Eric Monfroy ; Christophe Ringeissen [France] | A Rule Language for Interaction |
| 007E95 | Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek | A Pattern Matching Compiler for Multiple Target Languages |
| 007F75 | Hélène Kirchner [France] ; Christophe Ringeissen [France] | Algebraic Methodology And Software Technology |
| 008015 | David Déharbe ; Anamaria Martins Moreira ; Christophe Ringeissen [France] | Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae |
| 008070 | Mark G. J. Van Den Brand [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | The ELAN Environment: an Rewriting Logic Environment based on ASF+SDF Technology |
| 008796 | David Déharbe [Brésil] ; Anamaria Martins Moreira [Brésil] ; Christophe Ringeissen [France] | Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae |
| 008B12 | Anamaria Martins Moreira ; Christophe Ringeissen [France] ; David Déharbe ; Gleydson Lima | Manipulating Algebraic Specifications with Term-based and Graph-based Representations |
| 008C06 | Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek | A Pattern Matching Compiler for Multiple Target Languages |
| 008D17 | Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek | A Pattern-Matching Compiler |
| 008E10 | Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 009224 | Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] ; Marian Vittek [Slovaquie] | A Pattern-Matching Compiler |
| 009330 | Christophe Ringeissen [France] | Matching with Free Function Symbols — A Simple Extension of Matching? |
| 009620 | Christophe Ringeissen [France] | Matching with Free Function Symbols -- A Simple Extension of Matching? |
| 009D45 | Christophe Ringeissen [France] | Handling Relations over Finite Domains in the Rule-Based System ELAN |
| 009E90 | Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains: A Mixed Approach |
| 00A212 | Christophe Ringeissen [France] | Handling Relations over Finite Domains in the Rule-Based System ELAN |
| 00A218 | Hélène Kirchner [France] ; Christophe Ringeissen [France] | Frontiers of Combining Systems |
| 00A283 | Mark G. J. Van Den Brand [Pays-Bas] ; Christophe Ringeissen [France] | ASF+SDF parsing tools applied to ELAN |
| 00A323 | Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains via Unification in Finite Algebras |
| 00A467 | Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Christophe Ringeissen [France] | Rewriting with strategies in ELAN: a functional semantics |
| 00A476 | Eric Monfroy [Pays-Bas] ; Christophe Ringeissen [France] | An Open Automated Framework for Constraint Solver Extension: the SoleX Approach |
| 00AD02 | Christophe Ringeissen [France] ; Eric Monfroy [Pays-Bas] | Generating Propagation Rules for Finite Domains: a Mixed Approach |
| 00AD15 | Hélène Kirchner [France] ; Christophe Ringeissen [France] | Executing CASL Equational Specifications with the ELAN Rewrite Engine |
| 00AE96 | Claude Kirchner [France] ; Christophe Ringeissen [France] | Rule-Based Constraint Programming |
| 00B269 | Peter Borovansk ; Claude Kirchner ; Hélène Kirchner [France] ; Pierre-Etienne Moreau ; Christophe Ringeissen | An Overview of ELAN |
| 00B321 | Eric Monfroy [Pays-Bas] ; Christophe Ringeissen [France] | SoleX: A domain-independent scheme for constraint solver extension |
| 00B579 | Eric Monfroy [France] ; Christophe Ringeissen [France] | Solex: a Domain-Independent Scheme for Constraint Solver Extension |
| 00B620 | Cesare Tinelli ; Christophe Ringeissen [France] | Non-Disjoint Unions of Theories and Combinations of Satisfiability Procedures: First Results |
| 00B642 | Peter Borovansky [France] ; Salma Jamoussi [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | Handling ELAN Rewrite Programs via an Exchange Format |
| 00B695 | Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France] | An Overview of ELAN |
| 00BC21 | Christophe Ringeissen [France] | Prototyping combination of unification algorithms with the ELAN rule-based programming language |
| 00BC45 | Claude Kirchner [France] ; Christophe Ringeissen [France] | Higher-order equational unification via explicit substitutions |
| 00C073 | Christophe Ringeissen [France] | Cooperation of Decision Procedures for the Satisfiability Problem |
| 00C082 | Christophe Ringeissen [France] | Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories |
| 00C837 | Christophe Ringeissen [France] | Cooperation of Decision Procedures for the Satisfiability Problem |
| 00CD36 | Eric Domenjoud [France] ; Francis Klay [France] ; Christophe Ringeissen [France] | Combination techniques for non-disjoint equational theories |
| 00CD37 | Christophe Ringeissen [France] | Combination of matching algorithms |
| 00D621 | Christophe Ringeissen [France] | Unification in a combination of equational theories with shared constants and its application to primal algebras |
| This area was generated with Dilib version V0.6.33. |  |